From b749fe4270edf4b74a87ffaab4b623db3df61225 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Timm=20B=C3=A4der?= <mail@baedert.org>
Date: Fri, 20 Jul 2018 19:19:37 +0200
Subject: [PATCH] menu: Use correct content height

---
 gtk/gtkmenu.c | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/gtk/gtkmenu.c b/gtk/gtkmenu.c
index b8d4f5aa1c..1fdecc2a51 100644
--- a/gtk/gtkmenu.c
+++ b/gtk/gtkmenu.c
@@ -4079,14 +4079,10 @@ gtk_menu_move_current (GtkMenuShell         *menu_shell,
 static gint
 get_visible_size (GtkMenu *menu)
 {
-  GtkAllocation allocation;
-  GtkWidget *widget = GTK_WIDGET (menu);
   GtkBorder arrow_border;
   gint menu_height;
 
-  gtk_widget_get_allocation (widget, &allocation);
-
-  menu_height = allocation.height;
+  menu_height = gtk_widget_get_height (GTK_WIDGET (menu));
 
   get_arrows_border (menu, &arrow_border);
   menu_height -= arrow_border.top;
-- 
2.30.2